-
1 deduction tree
Большой англо-русский и русско-английский словарь > deduction tree
-
2 deduction tree
1) Математика: дерево вывода2) Логика: дерево логического вывода -
3 deduction tree
-
4 deduction tree
мат. -
5 tree
1) вчт древовидная схема; древовидный дешифратор2) дерево (напр. графа) || древовидный3) крист. дендрит•- tree of given weight
- tree of objectives
- tree of statements
- abstract syntax tree
- adaptive tree
- Adel'son-Vel'ski-Landis tree
- Aronshine tree
- AVL tree
- B-tree
- balanced tree
- bifurcation tree
- binary tree
- binary searchtree
- Boolean tree
- branching tree
- Cartesian tree
- Cayley tree
- choice tree
- classification tree
- classification and regression tree
- clock tree
- cluster tree
- co-tree
- code tree
- command tree
- complement tree
- complete code tree
- computation tree
- conference tree
- countable tree
- decision tree
- decomposition tree
- deduction tree
- derivation tree
- edge-rooted tree
- equipotential tree
- existence trie tree
- fault tree
- Feigenbaum tree
- Fibonacci tree
- finite tree
- fractal tree
- game tree
- generation tree
- graph tree
- hardware tree
- hierarchical tree
- homeomorphically irreducible tree
- Husimi tree
- hypothesis search tree
- inference tree
- information tree
- labeled tree
- language tree
- lexicographic tree
- loaded fractal tree
- logical tree
- minimal tree
- minimal length tree
- multibranch tree
- multiway tree
- normal tree
- optimal tree
- optimal merge tree
- optimal search tree
- ordered tree
- oriented tree
- outcome tree
- parse tree
- parsing tree
- patricia tree
- planar tree
- plane tree
- priority tree
- priority search tree
- probability tree
- production tree
- proper tree
- proof tree
- radix tree
- randomized binary tree
- RB tree
- recursive tree
- red-black tree
- response tree
- rooted tree
- search tree
- selection tree
- shortest tree
- shortest-distance tree
- signed tree
- spanning tree
- specific tree
- subject tree
- subspanning tree
- suffix tree
- symmetric tree
- syntax tree
- ternary tree
- ternary search tree
- threaded tree
- topological tree
- transition tree
- trie tree
- two-color tree
- two-dimensional tree
- two-level tree
- unlabeled tree
- weighted tree -
6 tree
1) дерево, древо || засаживать деревьями2) древовидная схема; древовидная структура3) т. граф. дерево4) pl дендритные образования на катоде ( при электроосаждении металлов)- mixed star tree - plane tree- set tree -
7 tree
1. [tri:] n1. 1) деревоto climb a tree - взбираться /влезать/ на дерево
to cut /to fell/ a tree - срубить /повалить/ дерево
2) (тж. Tree) рождественское дерево, ёлкаgifts clustered under the tree - подарки, сложенные под ёлкой
2. родословное дерево, родословная (тж. family tree, genealogical tree, tree of consanguinity)3. древоthe tree of knowledge - а) = the tree of knowledge of good and evil; б) познание, знания
4. 1) что-л. напоминающее дерево2) сеть (кровеносных сосудов и т. п.)3) (тж. Tree) арх. распятие4) виселица (тж. Tyburn tree)5) спец. дерево, древовидная схемаdependency [immediate constituent] trees - лингв. деревья зависимостей [непосредственных составляющих]
deduction tree - лог. дерево логического вывода
tree of operations - вчт. дерево вычислительных операций
5. колодка ( сапожная)6. стр. стойка, подпорка7. тех. вал; ось♢
as trees walking - неясно, нечётко, туманноup a tree - попавший в ловушку, в тяжёлом /безвыходном/ положении
to be up a (gum) tree - амер. быть в очень затруднительном положении
to bark up the wrong tree - напасть на ложный след, ошибиться; обратиться не по адресу; обвинять не того, кого следует
to be at the top of the tree см. top1 I ♢
to get to the top of the tree - преуспеть, добиться успеха, стать во главе чего-л. (особ. в профессии)
they don't grow on trees - это большая редкость, такое под ногами не валяется; ≅ золотые на деревьях не растут
like tree, like fruit - посл. яблочко от яблони недалеко падает
2. [tri:] vthe tree is known by its fruit - посл. дерево познаётся по плоду
1. 1) загнать на дерево2) ставить в затруднительное положение, ставить в тупик2. взбираться на деревоthe hunter had to tree for his life - чтобы спастись, охотнику пришлось взобраться на дерево
3. растягивать, расправлять на колодке (обувь и т. п.)4. снабжать деревянной частью5. уст. вырастать, превращаться в дерево -
8 tree
tri:
1. сущ.
1) а) дерево, древо in a tree ≈ на дереве (о среде обитания) on a tree ≈ на дереве (о месте произрастания) to chop down, cut down, fell a tree ≈ срубать, валить дерево to climb a tree ≈ забираться, залезать на дерево to grow a tree ≈ вырастить дерево to plant a tree ≈ посадить дерево to prune, trim a tree ≈ подрезать дерево to uproot a tree ≈ вырывать дерево с корнем, выкорчевывать дерево The gale uprooted several trees. ≈ Буря вырвала несколько деревьев с корнем. Christmas tree ≈ новогодняя елка shade tree ≈ тенистое дерево;
дерево, посаженное, чтобы давать тень a tree grows ≈ дерево растет Monkeys live in trees. ≈ Обезьяны живут на деревьях. Fruit grows on trees. ≈ Фрукты растут на деревьях. б) сл. виселица (тж. Tyburn tree)
2) а) дерево (как схема организации чего-л., также мат. и т.д.) б) родословное дерево (тж. family tree)
3) а) распорка для обуви б) тех. подпорка, стойка в) тех. вал, ось ∙ up a tree разг. ≈ в безвыходном положении
2. гл.
1) а) загнать на дерево, влезть на дерево б) перен. поставить в безвыходное положение
2) растягивать, расправлять обувь( на колодке) дерево - hollow * дуплистое дерево - fruit * фруктовое дерево - to climb a * взбираться /влезать/ на дерево - to cut /to fell/ a * срубить /повалить/ дерево - (тж. T.) рождественское дерево, елка - gifts clustered under the * подарки, сложенные под елкой родословное дерево, родословная (тж. family *, genealogical *, * of consanguinity) дерево - the * of knowledge древо познания добра и зла;
познание, знания - the * of knowledge of good and evil древо познания добра и зла - the * of life древо жизни что-л. напоминающее дерево - clothes * вешалка-стойка сеть( кровеносных сосудов и т. п.) - the vascular * сосудистая сеть (тж. T.) (устаревшее) распятие виселица (тж. Tyburn *) (специальное) дерево, древовидная схема - dependency *s деревья зависимостей - deduction * (логика) дерево логического вывода - * of operations( компьютерное) дерево вычислительных операций колодка( сапожная) (строительство) стойка, подпорка (техническое) вал;
ось > as *s walking неясно, нечетко, туманно > up a * попавший в ловушку, в тяжелом /безвыходном/ положении > to be up a (gum) * (американизм) быть в очень затруднительном положении > to bark up the wrong * напасть на ложный след, ошибиться;
обратиться не по адресу;
обвинять не того, кого следует > to be at the top of the * быть во главе чего-л. > to get to the top of the * преуспеть, добиться успеха, стать во главе чего-л. (особ. в профессии) > they don't grow on *s это большая редкость, такое под ногами не валяется;
золотые на деревьях не растут > like *, like fruit (пословица) яблочко от яблони недалеко падает > the * is known by its fruit (пословица) дерево познается по плоду загнать на дерево - the dog *d the cat собака загнала кошку на дерево ставить в затруднительное положение, ставить в тупик взбираться на дерево - the hunter had to * for his life чтобы спастись, охотнику пришлось взобраться на дерево растягивать, расправлять на колодке (обувь и т. п.) снабжать деревянной частью - to * a spade насадить лопату на черенок( устаревшее) вырастать, превращаться в дерево balanced multiway search ~ б-дерево tree тех. вал;
ось;
to be at the top of the tree стоять во главе;
занимать видное положение;
up a tree разг. в безвыходном положении big ~ амер. бот. секвойя binary search ~ двоичное дерево binary ~ двоичное дерево consistency ~ дерево составляющих decision ~ дерево альтернатив decision ~ дерево решений dependency ~ дерево зависимостей depth-balanced ~ сбалансированное дерево derivation ~ дерево вывода directory ~ дерево каталогов game ~ дерево игры goal ~ дерево целей inference ~ дерево вывода non-circular desision ~ вчт. дерево решений без циклов pars ~ дерево разбора pattern ~ дерево образа relevance ~ дерево относительной важности rubber ~ каучуковое дерево, каучуконос search ~ дерево поиска shoe ~ распорка для обуви sink ~ корневое дерево skewed ~ несбалансированное дерево spanning ~ основное дерево traversing a decision ~ вчт. обход дерева решений tree тех. вал;
ось;
to be at the top of the tree стоять во главе;
занимать видное положение;
up a tree разг. в безвыходном положении ~ sl виселица (тж. Tyburn tree) ~ влезть на дерево ~ дерево ~ древо;
the tree of knowledge древо познания ~ загнать на дерево ~ поставить в безвыходное положение ~ распорка для обуви ~ растягивать, расправлять обувь (на колодке) ~ родословное дерево (тж. family tree) ~ тех. стойка, подпорка ~ древо;
the tree of knowledge древо познания ~ of objectives вчт. дерево целей tree тех. вал;
ось;
to be at the top of the tree стоять во главе;
занимать видное положение;
up a tree разг. в безвыходном положении -
9 ratio
1) отношение; соотношение; пропорция5) матем. частное•-
4:1:1 ratio
-
abundance ratio
-
activity ratio
-
adjacent-channel protection ratio
-
advance ratio
-
air/oil ratio
-
air-fuel ratio
-
alumina ratio
-
amplitude ratio
-
anamorphic ratio
-
anode-to-cathode ratio
-
aperture ratio
-
apparent slip ratio
-
aspect ratio
-
atomic ratio
-
attenuation ratio
-
augmentation ratio
-
availability ratio
-
axial ratio
-
axle ratio
-
balance ratio
-
balanced steel ratio
-
beam aspect ratio
-
beam-depth ratio
-
beam-draft ratio
-
bearing ratio
-
best power mixture ratio
-
blade aspect ratio
-
blade-area ratio
-
blending ratio
-
blip-scan ratio
-
blocking-to-forward resistance ratio
-
blowup ratio
-
boilup-feed ratio
-
boost pressure ratio
-
boosting ratio
-
boss-diameter ratio
-
boss ratio
-
braking ratio
-
breeding ratio
-
brush coverage ratio
-
burnout ratio
-
by-pass ratio
-
C/B ratio
-
cancellation ratio
-
capacity/deadweight ratio
-
capture ratio
-
carbon ratio
-
carrier-to-interference ratio
-
carrier-to-noise ratio
-
cascade pitch-chord ratio
-
catalyst-oil ratio
-
catalyst ratio
-
cement-aggregate ratio
-
cetane ratio
-
charge ratio
-
charge-to-mass ratio
-
circulation ratio
-
coal-to-coke replacement ratio
-
coherence ratio
-
common ratio
-
common-mode rejection ratio
-
compression ratio
-
contact ratio
-
continuous casting ratio
-
contrast ratio
-
control ratio
-
convergence ratio
-
conversion ratio
-
copper-to-superconductor ratio
-
correlation ratio
-
cost/performance ratio
-
critical power ratio
-
cross-ratio
-
crown diameter ratio
-
cumulative fatigue ratio
-
current instability ratio
-
current ratio
-
current transfer ratio
-
current unbalance ratio
-
cutoff ratio
-
damping ratio
-
deadweight-displacement ratio
-
deadweight ratio
-
defective ratio
-
defect ratio
-
delivery ratio
-
dependability ratio
-
desired-to-undesired signal ratio
-
developed blade-area ratio
-
deviation ratio
-
disk-area ratio
-
distortion ratio
-
disturbance ratio
-
disturb ratio
-
double ratio
-
downtime ratio
-
drafting ratio
-
drop-off-to-pickup ratio
-
drowning ratio
-
dryout ratio
-
duty ratio
-
effective pitch ratio
-
effective slip ratio
-
electric/heat output ratio
-
elongation ratio
-
empty run ratio
-
empty weight-to-carrying capacity ratio
-
energy-to-volume ratio
-
energy-to-weight ratio
-
engine displacement to horsepower ratio
-
engine pressure ratio
-
enhancement ratio
-
error ratio
-
escape ratio
-
excess noise ratio
-
excitation response ratio
-
extraction ratio
-
extrusion ratio
-
false alarm ratio
-
fat-to-lean ratio
-
field-forcing ratio
-
filter open area ratio
-
flow ratio of mold
-
flowing fluid ratio
-
focal ratio
-
frame aspect ratio
-
freeboard ratio
-
free-fluid ratio
-
frequency multiplication ratio
-
frequency ratio
-
friction ratio
-
front-to-back ratio
-
fuel ratio
-
fuel-air equivalence ratio
-
fuel-air ratio
-
fuel-oil consumption ratio
-
gas ratio
-
gas recovery ratio
-
gas-condensate ratio
-
gas-oil ratio
-
gasoline-oil consumption ratio
-
gas-water ratio
-
geometric pitch ratio
-
grain-to-air mass ratio
-
gross-to-net ratio
-
harmonic ratio
-
heat sharing ratio
-
hit ratio
-
hub-diameter ratio
-
hub ratio
-
humidity ratio
-
hydrogen carbon ratio
-
idle mixture ratio
-
image ratio
-
image signal-to-noise ratio
-
image-frequency rejection ratio
-
image rejection ratio
-
input-to-output frequency ratio
-
intensifier ratio
-
interference-to-noise ratio
-
internal breeding ratio
-
inversion level ratio
-
inversion ratio
-
ionization ratio
-
irregularity ratio
-
isolation ratio
-
jamming-to-signal ratio
-
jam-to-signal ratio
-
lay ratio
-
length-beam ratio
-
length-depth ratio
-
length-draft ratio
-
lift/drag ratio
-
light output ratio
-
likelihood ratio
-
limiting drawing ratio
-
line-interlace ratio
-
liquor ratio
-
load ratio
-
locked rotor current ratio
-
luminance ratio
-
magnetoresistive ratio
-
main-beam-to-sidelobe ratio
-
mark-to-space ratio
-
mark-space ratio
-
meander ratio
-
melting-speed ratio
-
metal-restitution ratio
-
mismatch ratio
-
miss ratio
-
mixing ratio
-
mobility ratio
-
moderating ratio
-
modular ratio
-
molar ratio
-
mold ratio
-
negative sequence current ratio
-
negative sequence voltage ratio
-
noise-power ratio
-
noise-to-signal ratio
-
notch yield ratio
-
notched-unnotched tensile strength ratio
-
n-ratio
-
nutritive ratio
-
offset ratio
-
oil-steam ratio
-
one-to-zero ratio
-
on-off ratio
-
operating ratio
-
output voltage ratio
-
output-input ratio
-
overall combined feed ratio
-
overall gear ratio
-
overburden ratio
-
overvoltage ratio
-
partition ratio
-
peak ratio
-
peak-to-average ratio
-
penetration shape ratio
-
pin-to-gate ratio
-
pitch damping ratio
-
pitch ratio
-
pitch-diameter ratio
-
pluviometric ratio
-
Poisson's ratio
-
power amplification ratio
-
power-loss ratio
-
precipitation-evaporation ratio
-
press ratio
-
pressure-viscosity ratio
-
processing ratio
-
producing water-oil ratio
-
proof ultimate ratio
-
propagation ratio
-
propane-oil ratio
-
propeller solidity ratio
-
protection ratio
-
pulse-compression ratio
-
pulse-smoothing ratio
-
pulsing ratio
-
rated voltage ratio
-
ratio of break to reduction
-
ratio of enrichment
-
ratio of flow
-
ratio of foreshortening
-
ratio of similitude
-
ratio of slope
-
ratio of specific heats
-
reactance ratio
-
reactivity ratio
-
real slip ratio
-
recall ratio
-
recirculation ratio
-
recovery ratio
-
rectification ratio
-
recycle ratio
-
reduction ratio
-
reflux ratio
-
reflux-to-product ratio
-
reinforcement ratio
-
rejection ratio
-
reproduction ratio
-
reserve-buoyance ratio
-
resetting ratio
-
reset ratio
-
resolution ratio
-
retrace ratio
-
returning ratio
-
ripple ratio
-
roll damping ratio
-
ruffling ratio
-
runner ratio
-
scaling ratio
-
scrap-metal ratio
-
seasonal ratio
-
secondary-emission ratio
-
seizure ratio
-
serviceability ratio
-
setting ratio
-
shooting ratio
-
short-circuit ratio
-
shrinkage ratio
-
shutter-to-pulldown ratio
-
sidelobe ratio
-
signal-to-clutter ratio
-
signal-to-crosstalk ratio
-
signal-to-distortion ratio
-
signal-to-interference ratio
-
signal-to-jamming ratio
-
signal-to-jam ratio
-
signal-to-noise ratio
-
signal-to-quantization noise ratio
-
silica ratio
-
sinad ratio
-
size ratio
-
skin-to-brine ratio
-
skip-stitch ratio
-
slenderness ratio
-
slip ratio
-
slope ratio
-
solvent ratio
-
speed ratio
-
spreading ratio
-
spread-to-elongation ratio
-
squareness ratio
-
squeeze ratio
-
stall torque ratio
-
standing-wave ratio
-
starting current-to-rated current ratio
-
starting current ratio
-
starting torque-to-nominal torque ratio
-
static forward current transfer ratio
-
steel ratio
-
steering ratio
-
step-down ratio
-
step-up ratio
-
stock-catalyst ratio
-
stoichiometric ratio
-
storage ratio
-
strength-to-weigth ratio
-
stress ratio
-
stretch ratio
-
stripping ratio
-
sugar-acid ratio
-
suppression ratio
-
surface-to-volume ratio
-
swirl ratio
-
swirl-to-squish ratio
-
T/D ratio
-
tall gear ratio
-
tapping voltage ratio
-
target-to-clutter ratio
-
thermal conductivity ratio
-
thickness ratio
-
thickness-to-diameter ratio
-
throughput ratio
-
thrust-deduction ratio
-
torque-to-inertia ratio
-
torque-to-weight ratio
-
transfer ratio
-
transformation ratio
-
transient overvoltage ratio
-
transmission ratio
-
transport ratio
-
traveling-wave ratio
-
tree-area ratio
-
trigonometric ratio
-
trim ratio
-
true slip ratio
-
tuning ratio
-
turn-on ratio
-
turns ratio
-
unbalance ratio
-
unbalance reduction ratio
-
up-time ratio
-
useful-to-takeoff load ratio
-
utilization ratio
-
valve ratio
-
vapor volumetric flow ratio
-
vapor-liquid ratio
-
variance ratio
-
vertical retrace ratio
-
virtual pitch ratio
-
viscosity/density ratio
-
voids ratio
-
voltage instability ratio
-
voltage nonsinusoidality ratio
-
voltage ratio
-
voltage standing-wave ratio
-
voltage transfer ratio
-
voltage unbalance ratio
-
waste-to-ore ratio
-
water use ratio
-
water-oil ratio
-
water-to-cement ratio
-
wide-band ratio
-
wind-to-coke ratio
-
wing taper ratio
-
xanthate ratio
-
yield ratio
-
zero-sequence current ratio
-
zero-sequence voltage ratio
-
zoom ratio -
10 theorem
- analytical hierarchy theorem - arithmetical hierarchy theorem - closed range theorem - formally provable theorem - implicit function theorem - initial value theorem - integral representation theorem - local limit theorem - maximal ergodic theorem - mean value theorem - normal form theorem - ratio limit theorem - rational root theorem - second mean value theorem - theorem of consistency proofs - theorem of corresponding states - three line theorem - three series theorem - uniform convergence theorem - uniform ergodic theorem - uniform mean value theoremtheorem implies — из теоремы следует, что…
См. также в других словарях:
Natural deduction — In logic and proof theory, natural deduction is a kind of proof calculus in which logical reasoning is expressed by inference rules closely related to the natural way of reasoning. This contrasts with the axiomatic systems which instead use… … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Artificial intelligence — AI redirects here. For other uses, see Ai. For other uses, see Artificial intelligence (disambiguation). TOPIO, a humanoid robot, played table tennis at Tokyo International Robot Exhibition (IREX) 2009.[1] Artificial intelligence ( … Wikipedia
formal logic — the branch of logic concerned exclusively with the principles of deductive reasoning and with the form rather than the content of propositions. [1855 60] * * * Introduction the abstract study of propositions, statements, or assertively used … Universalium
Occam's razor — For the aerial theatre company, see Ockham s Razor Theatre Company. It is possible to describe the other planets in the solar system as revolving around the Earth, but that explanation is unnecessarily complex compared to the modern consensus… … Wikipedia
Funkalicious — Excuse Me Moses Excuse Me Moses (Wien 2008) Gründung 2000 [1] Genre Crossover, Alternative Rock Websi … Deutsch Wikipedia
Killerfuck — Excuse Me Moses Excuse Me Moses (Wien 2008) Gründung 2000 [1] Genre Crossover, Alternative Rock Websi … Deutsch Wikipedia
Gödel's completeness theorem — is a fundamental theorem in mathematical logic that establishes a correspondence between semantic truth and syntactic provability in first order logic. It was first proved by Kurt Gödel in 1929. A first order formula is called logically valid if… … Wikipedia
Definite clause grammar — A definite clause grammar (DCG) is a way of expressing grammar, either for natural or formal languages, in a logic programming language such as Prolog. DCGs are usually associated with Prolog, but similar languages such as Mercury also include… … Wikipedia
Charles Sanders Peirce — B … Wikipedia
List of mathematical logic topics — Clicking on related changes shows a list of most recent edits of articles to which this page links. This page links to itself in order that recent changes to this page will also be included in related changes. This is a list of mathematical logic … Wikipedia